Energy landscape properties studied using symbolic sequences
نویسندگان
چکیده
منابع مشابه
Energy Landscape Diversity and Supercooled Liquid Properties
Families of model “rugged landscape” potential energy functions have been constructed and examined, in order to clarify the molecularlevel basis for the relationship between thermodynamic and kinetic behaviors of glassforming substances. The general approach starts by forming elementary basin units, each of which contains a single local minimum (inherent structure). These units are then spliced...
متن کاملFree-energy landscape of nucleation with an intermediate metastable phase studied using capillarity approximation.
Capillarity approximation is used to study the free-energy landscape of nucleation when an intermediate metastable phase exists. The critical nucleus that corresponds to the saddle point of the free-energy landscape as well as the whole free-energy landscape can be studied using this capillarity approximation, and various scenarios of nucleation and growth can be elucidated. In this study, we c...
متن کاملMesoscopic model for free-energy-landscape analysis of DNA sequences.
A mesoscopic model which allows us to identify and quantify the strength of binding sites in DNA sequences is proposed. The model is based on the Peyrard-Bishop-Dauxois model for the DNA chain coupled to a Brownian particle which explores the sequence interacting more importantly with open base pairs of the DNA chain. We apply the model to promoter sequences of different organisms. The free ene...
متن کاملVerifying Complex Properties using Symbolic Shape Analysis
One of the main challenges in the verification of software systems is the analysis of statically unbounded data structures with dynamic memory allocation, such as linked data structures and arrays. We describe Bohne, a new analysis for verifying data structures. Bohne verifies data structure operations and shows that 1) the operations preserve data structure invariants and 2) the operations sat...
متن کاملSimilarity of symbolic sequences
A new numerical characterization of symbolic sequences is proposed. The partition of sequence based on Ke and Tong algorithm is a starting point. Algorithm decomposes original sequence into set of distinct subsequences a patterns. The set of subsequences common for two symbolic sequences (their intersection) is proposed as a measure of similarity between them. The new similarity measure works w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physica D: Nonlinear Phenomena
سال: 2006
ISSN: 0167-2789
DOI: 10.1016/j.physd.2005.12.013